# Specifying Systems - Leslie Lamport Published: 2002 by Addison-Wesley Professional ![Specifying Systems cover](https://books.google.com/books/content?id=SeRQAAAAMAAJ&printsec=frontcover&img=1&zoom=1&source=gbs_api) A book about [[Formal Methods]] in [[Systems Programming]], heavily uses [[TLA+]]. ## Links - [Specifying Systems](http://lamport.azurewebsites.net/tla/book.html)